| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Algorithmics | Fach-/Modulprüfung | 6 | 454391 | ||
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 452625 | ||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 453215 | ||
| Übung | 448750 | Di 10:30-12:00 AH I (2350|028) (×12) | |||
| Vorlesung | 448771 | Mi 08:30-10:00 HKW 2 (1132|303) (×13) Do 14:30-16:00 AH III (2350|314.1) (×12) | |||
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 451224 | ||
| Approximation and Online Algorithms | Fach-/Modulprüfung | 6 | 450842 | ||
| Combinatorial Graph Theory | Fach-/Modulprüfung | 6 | 452226 | ||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | 468643 | ||
| Übung | 455741 | Mi 16:30-18:00 5054 (2356|054) (×9) | |||
| Vorlesung | 455732 | Mi 10:30-12:00 5056 (2356|056) (×13) Do 08:30-10:00 5056 (2356|056) (×5) | |||
| Foundations of the UML | Fach-/Modulprüfung | 6 | 453220 | ||
| Functional Programming | Fach-/Modulprüfung | 6 | 453151 | ||
| Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 455839 | ||
| Übung | 455436 | Fr 12:30-14:00 5056 (2356|056) (×4) Fr 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | |||
| Vorlesung | 455435 | Mo 16:30-18:00 AH II (2350|111) (×9) Do 16:30-18:00 AH I (2350|028) (×9) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 454588 | ||
| Logic Programming | Fach-/Modulprüfung | 6 | 452059 | ||
| Übung | 454727 | Di 16:30-18:00 AH III (2350|314.1) (×2) Mi 09:00-13:00 AH III (2350|314.1) (×1) Mi 09:30-12:30 5055 (2356|055) (×1) Mi 16:30-18:00 AH IV (2354|030) (×8) Do 09:00-18:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH III (2350|314.1) (×1) | |||
| Vorlesung | 454728 | Di 16:30-18:00 AH III (2350|314.1) (×11) Mi 16:30-18:00 AH IV (2354|030) (×2) Fr 12:30-14:00 AH III (2350|314.1) (×11) | |||
| Logics for Reasoning about Uncertainty | Fach-/Modulprüfung | 4 | 454552 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 455274 | ||
| Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) | |||
| Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) | |||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 452314 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 454399 | ||
| Online Algorithms | Fach-/Modulprüfung | 6 | 450885 | ||
| Vorlesung | 455712 | Di 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×9) Di 16:30-18:00 AH II (2350|111) (×10) Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Do 10:30-12:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH V (2356|050) (×9) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 454494 | ||
| Provenance Analysis and Semiring Semantics for Logics and Games | Fach-/Modulprüfung | 4 | 468498 | ||
| Vorlesung | 455749 | Mo 12:30-14:00 SG 513 (1810|513) (×12) | |||
| Quantum Computing | Fach-/Modulprüfung | 4 | 451114 | ||
| Recursion Theory | Fach-/Modulprüfung | 6 | 454405 | ||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 451529 | ||
| Static Program Analysis | Fach-/Modulprüfung | 6 | 450693 | ||
| Übung | 455272 | Fr 10:30-12:00 AH III (2350|314.1) (×9) | |||
| Vorlesung | 455273 | Mo 12:30-14:00 AH I (2350|028) (×9) Mo 14:00-16:00 5055 (2356|055) (×1) Di 14:30-16:00 AH II (2350|111) (×11) | |||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 452835 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 450975 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 451897 |